\chapter{顶层程序（Top-level programs）}
\label{programchapter}


一个\defining{顶层程序}为定义和运行一个Scheme程序制定一个入口点。一个顶层程序指定导入库和准备运行的程序的一个集合。通过被导入的库，不管是直接地还是通过导入的传递闭包（transitive closure），一个顶层程序定义了一个完整的Scheme程序。

\section{顶层程序语法}
\label{programsyntaxsection}

顶层程序是带分隔符的文本片段，通常是一个文件，其有如下的形式：
%
\begin{scheme}
\hyper{import form} \hyper{top-level body}%
\end{scheme}
%
一个\hyper{import form}有如下的形式：
%
\begin{scheme}
(import \hyper{import spec} \dotsfoo)%
\end{scheme}
%
一个\hyper{top-level body}有如下的形式：
\begin{scheme}
\hyper{top-level body form} \dotsfoo%
\end{scheme}
%
一个\hyper{top-level body form}或者是一个\hyper{definition}或者是一个
\hyper{expression}.

\hyper{import form}和库中的导入子句是相同的（见\ref{librarysyntaxsection}小节），且指定要导入的库的一个集合。一个\hyper{top-level body}就像一个\hyper{library body}（见\ref{librarybodysection}小节）一样，除了定义和表达式可以以任何次序出现。因此，\hyper{top-level body form}指定的语法引用了宏扩展的结果。

当使用来自\rsixlibrary{base}库的{\cf begin}, {\cf let-syntax}, 或{\cf letrec-syntax}的时候，如果其先于第一个表达式出现在顶层程序的内部时，那么它们被拼接到内部中；见\ref{begin}小节。内部的一些或所有，包括{\cf begin}, {\cf let-syntax}, 或{\cf letrec-syntax}里面的部分，可以通过一个句法抽象指定（见\ref{macrosection}小节）。

\section{顶层程序语义（semantics）}

一个顶层程序被执行的时候，程序就像一个库一样被对待，执行其定义和表达式。一个顶层内部的语义可以通过一个简单的转换将其转换到库内部来解释：在顶层内部中每一个出现在定义前的\hyper{expression}被转换为一个哑（dummy）定义
%
\begin{scheme}
(define \hyper{variable} (begin \hyper{expression} \hyper{unspecified}))%
\end{scheme}
%
其中，\hyper{variable}是一个新鲜的标识符，\hyper{unspecified}是一个返回未定义值得无副作用的表达式。（如果不同时对内部进行扩展，那么，判断哪个形式是定义，哪个形式是表达式通常是不可能的，因此，实际的转换多少会更加复杂；见第\ref{expansionchapter}章。）

在支持它的平台上，一个顶层程序可以通过调用{\cf command-line}过程（见库的第\extref{lib:command-line}{Command-line access and exit values}章访问它的命令行。

%%% Local Variables:
%%% mode: latex
%%% TeX-master: "r6rs"
%%% End:
